-
1 abstraction
1) абстракция; обобщение, отвлечение2) извлечение; выделение• -
2 realizability
1) реализуемость
2) выполнимость
3) осуществимость ∙ abstraction of potential realizability ≈ абстракция потенциальной осуществимости - formalized realizability - potential realizability - realizability problem - recursive realizability - repetition-free realizability - special realizability осуществимость, реализуемость доступность пониманиюБольшой англо-русский и русско-английский словарь > realizability
-
3 abstraction of potential realizability
Математика: абстракция потенциальной осуществимостиУниверсальный англо-русский словарь > abstraction of potential realizability
-
4 realizability
1) выполнимость•
См. также в других словарях:
абстракция потенциальной осуществимости — АБСТРАКЦИЯ ПОТЕНЦИАЛЬНОЙ ОСУЩЕСТВИМОСТИ Метод мысленного отвлечения, лежащий в основе идеи так называемой потенциальной бесконечности. Как правило, неограниченное развитие какого либо конструктивного процесса, являющегося… … Энциклопедия эпистемологии и философии науки
АБСТРАКЦИЯ ПОТЕНЦИАЛЬНОЙ ОСУЩЕСТВИМОСТИ — одна из осн. абстракций логикоматематич. теорий, составляющая основу идеи потенциальной бесконечности. А. п. о. состоит в отвлечении от трудностей реализации конструктивных процессов (см. Конструктивное направление), вытекающих из… … Философская энциклопедия
АБСТРАКЦИЯ ПОТЕНЦИАЛЬНОЙ ОСУЩЕСТВИМОСТИ — одна из математич. идеализации, связанная с определенной формой идеи бесконечности в математике идеей потенциальной бесконечности. В применении к потенциально неограниченно продол жимым конструктивным процессам (таким, напр., как процесс… … Математическая энциклопедия
АБСТРАКЦИЯ ОТОЖДЕСТВЛЕНИЯ — одна из осн. абстракций математики и логики, позволяющая говорить об одинаковых объектах как об одном и том же объекте. А. о. представляет собой «образование абстрактного понятия путём объединения, отождествления предметов, связанных… … Философская энциклопедия
АБСТРАКЦИЯ — (от лат. abstractio отвлечение, отделение) процесс мысленного отвлечения одних свойств и отношений вещей и явлений от других. А. отождествления выделяет общее свойство объектов путем установления отношения эквивалентности или равенства между ними … Философская энциклопедия
АБСТРАКЦИЯ МАТЕМАТИЧЕСКАЯ — абстракция в математике, мысленное отвлечение, представляющее собой существенную составную часть мыслительной деятельности, направленной на формирование основных математич. понятий. Наиболее характерными для математики типами абстрагирования… … Математическая энциклопедия
абстракция — АБСТРАКЦИЯ (от лат. abstractio выделение, отвлечение или отделение) теоретический прием исследования, позволяющий отвлечься от некоторых несущественных в определенном отношении свойств изучаемых явлений и выделить свойства существенные и… … Энциклопедия эпистемологии и философии науки
АБСТРАКЦИЯ АКТУАЛЬНОЙ БЕСКОНЕЧНОСТИ — одна из осн. абстракций (идеализации) классич. (теоретико множеств.) математики и классич. математич. логики. Состоит в отвлечении от невозможности полного обозрения к. л. бесконечного образования (бесконечной совокупности элементовк. л.… … Философская энциклопедия
АБСТРАКЦИЯ АКТУАЛЬНОЙ БЕСКОНЕЧНОСТИ — одна из математических идеализации, связанная с определенной формой идеи бесконечности в математике с идеей так наз. актуальной бесконечности. В применении к потенциально неограниченно продолжимым конструктивным процессам (таким, напр., как… … Математическая энциклопедия
АЛГОРИТМ — [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… … Философская энциклопедия
Конструктивная математика — У этого термина существуют и другие значения, см. конструктивизм. Конструктивная математика абстрактная наука о конструктивных процессах[прояснить], человеческой способности осуществлять их, и об их результатах конструктивных объектах. Содержание … Википедия